2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 134 77 91 146 217 0 179 148

N.S.

1 1.30 0.75 0.88 1.42 2.11 0.00 1.74 1.44

time (sec)

N/A 0.504 0.236 0.712 0.201 0.268 0.000 0.342 0.242

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 165 74 204 2272 0 182 214

N.S.

1 1.00 1.79 0.80 2.22 24.70 0.00 1.98 2.33

time (sec)

N/A 0.390 0.023 0.721 0.195 0.296 0.000 0.344 1.567

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 111 68 75 165 300 0 142 164

N.S.

1 1.22 0.75 0.82 1.81 3.30 0.00 1.56 1.80

time (sec)

N/A 0.467 0.233 0.616 0.196 0.267 0.000 0.347 0.169

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 112 207 79 234 3356 0 179 328

N.S.

1 1.11 2.05 0.78 2.32 33.23 0.00 1.77 3.25

time (sec)

N/A 0.438 0.024 0.597 0.195 0.289 0.000 0.362 0.227

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 93 67 74 267 457 0 166 397

N.S.

1 1.11 0.80 0.88 3.18 5.44 0.00 1.98 4.73

time (sec)

N/A 0.439 0.525 0.560 0.189 0.270 0.000 0.358 1.457

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 133 278 92 299 4500 0 243 535

N.S.

1 1.20 2.50 0.83 2.69 40.54 0.00 2.19 4.82

time (sec)

N/A 0.453 0.100 0.581 0.223 0.324 0.000 0.379 1.565

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 197 288 244 600 1030 592 520 319

N.S.

1 0.90 1.31 1.11 2.73 4.68 2.69 2.36 1.45

time (sec)

N/A 0.453 11.393 36.995 0.227 0.287 10.983 0.455 2.482

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 163 185 214 501 795 484 446 266

N.S.

1 0.89 1.01 1.17 2.74 4.34 2.64 2.44 1.45

time (sec)

N/A 0.413 11.804 15.804 0.229 0.266 6.218 0.456 2.011

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 126 157 176 399 594 377 372 211

N.S.

1 0.88 1.10 1.23 2.79 4.15 2.64 2.60 1.48

time (sec)

N/A 0.370 1.746 9.734 0.193 0.260 3.484 0.412 1.832

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 140 155 143 327 3824 0 377 326

N.S.

1 0.89 0.98 0.91 2.07 24.20 0.00 2.39 2.06

time (sec)

N/A 0.348 5.946 6.762 0.191 0.344 0.000 0.464 0.688

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 142 171 130 334 4895 0 300 326

N.S.

1 0.96 1.16 0.88 2.26 33.07 0.00 2.03 2.20

time (sec)

N/A 0.493 4.403 2.660 0.197 0.326 0.000 0.474 1.869

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 149 206 125 340 6441 0 271 421

N.S.

1 1.05 1.45 0.88 2.39 45.36 0.00 1.91 2.96

time (sec)

N/A 0.633 3.349 2.237 0.198 0.322 0.000 0.511 1.833

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 172 256 128 390 8547 0 321 633

N.S.

1 1.10 1.64 0.82 2.50 54.79 0.00 2.06 4.06

time (sec)

N/A 0.772 3.271 1.841 0.195 0.355 0.000 0.544 1.810

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 198 233 143 463 10848 0 335 759

N.S.

1 1.16 1.36 0.84 2.71 63.44 0.00 1.96 4.44

time (sec)

N/A 0.803 4.226 1.532 0.195 0.384 0.000 0.510 1.829

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 228 279 166 573 13503 0 477 1194

N.S.

1 1.21 1.48 0.88 3.03 71.44 0.00 2.52 6.32

time (sec)

N/A 0.851 2.711 1.365 0.203 0.402 0.000 0.556 1.825

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 267 260 202 720 17811 0 537 1314

N.S.

1 1.21 1.18 0.92 3.27 80.96 0.00 2.44 5.97

time (sec)

N/A 0.872 2.178 1.422 0.206 0.445 0.000 0.530 1.847

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 318 189 190 442 627 877 401 393

N.S.

1 1.25 0.74 0.75 1.73 2.46 3.44 1.57 1.54

time (sec)

N/A 1.253 1.901 12.475 0.203 0.274 4.825 0.411 0.817

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 266 156 154 344 461 666 327 210

N.S.

1 1.26 0.74 0.73 1.63 2.18 3.16 1.55 1.00

time (sec)

N/A 0.934 0.647 7.677 0.193 0.274 2.649 0.278 0.620

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 228 134 151 284 474 0 355 265

N.S.

1 1.26 0.74 0.83 1.57 2.62 0.00 1.96 1.46

time (sec)

N/A 0.945 6.533 2.980 0.191 0.264 0.000 0.449 1.847

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 197 131 134 282 567 0 285 269

N.S.

1 1.22 0.81 0.83 1.75 3.52 0.00 1.77 1.67

time (sec)

N/A 0.864 2.453 2.386 0.191 0.288 0.000 0.473 1.876

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 173 110 126 359 768 0 286 511

N.S.

1 1.17 0.74 0.85 2.43 5.19 0.00 1.93 3.45

time (sec)

N/A 0.848 4.017 1.949 0.191 0.268 0.000 0.497 1.819

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 148 106 121 537 928 0 253 749

N.S.

1 1.11 0.80 0.91 4.04 6.98 0.00 1.90 5.63

time (sec)

N/A 0.687 1.822 1.602 0.203 0.266 0.000 0.474 1.726

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 143 115 130 842 1314 0 360 1500

N.S.

1 1.02 0.82 0.93 6.01 9.39 0.00 2.57 10.71

time (sec)

N/A 0.566 2.598 1.375 0.193 0.289 0.000 0.496 1.722

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 139 239 145 1291 1607 0 359 1955

N.S.

1 0.95 1.63 0.99 8.78 10.93 0.00 2.44 13.30

time (sec)

N/A 0.372 6.285 1.155 0.202 0.284 0.000 0.506 1.655

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 127 350 177 1916 2323 0 563 3138

N.S.

1 0.88 2.43 1.23 13.31 16.13 0.00 3.91 21.79

time (sec)

N/A 0.359 3.469 1.636 0.206 0.259 0.000 0.510 1.762

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 162 404 218 2731 2967 0 621 3823

N.S.

1 0.89 2.22 1.20 15.01 16.30 0.00 3.41 21.01

time (sec)

N/A 0.395 4.719 2.246 0.204 0.267 0.000 0.519 1.872

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 198 458 258 3719 3585 0 679 4490

N.S.

1 0.90 2.07 1.17 16.83 16.22 0.00 3.07 20.32

time (sec)

N/A 0.435 6.011 3.245 0.219 0.307 0.000 0.542 1.991

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 222 548 298 4883 4259 0 737 5190

N.S.

1 0.90 2.21 1.20 19.69 17.17 0.00 2.97 20.93

time (sec)

N/A 0.456 7.388 4.600 0.225 0.317 0.000 0.557 2.098

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 142 390 172 0 1617 0 0 1124

N.S.

1 0.96 2.64 1.16 0.00 10.93 0.00 0.00 7.59

time (sec)

N/A 0.387 1.664 1.359 0.000 0.348 0.000 0.000 10.584

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 134 235 142 0 1247 0 0 1046

N.S.

1 0.96 1.69 1.02 0.00 8.97 0.00 0.00 7.53

time (sec)

N/A 0.352 1.589 0.592 0.000 0.322 0.000 0.000 8.691

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 114 365 89 0 975 0 0 975

N.S.

1 0.99 3.17 0.77 0.00 8.48 0.00 0.00 8.48

time (sec)

N/A 0.295 7.333 0.358 0.000 0.288 0.000 0.000 6.951

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 123 221 98 0 979 0 0 1007

N.S.

1 0.98 1.77 0.78 0.00 7.83 0.00 0.00 8.06

time (sec)

N/A 0.282 4.730 0.370 0.000 0.306 0.000 0.000 9.237

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 131 397 130 0 1067 0 0 1243

N.S.

1 0.96 2.92 0.96 0.00 7.85 0.00 0.00 9.14

time (sec)

N/A 0.349 1.159 0.485 0.000 0.319 0.000 0.000 10.438

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 173 278 181 0 1954 0 0 1517

N.S.

1 0.94 1.51 0.98 0.00 10.62 0.00 0.00 8.24

time (sec)

N/A 0.391 1.681 0.913 0.000 0.370 0.000 0.000 13.556

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 173 158 162 0 1441 0 0 2191

N.S.

1 0.99 0.90 0.93 0.00 8.23 0.00 0.00 12.52

time (sec)

N/A 0.439 1.673 0.859 0.000 0.346 0.000 0.000 12.388

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 131 143 121 0 1009 0 0 1861

N.S.

1 1.03 1.13 0.95 0.00 7.94 0.00 0.00 14.65

time (sec)

N/A 0.381 2.822 0.339 0.000 0.330 0.000 0.000 11.488

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 168 127 94 0 975 0 0 1859

N.S.

1 1.34 1.02 0.75 0.00 7.80 0.00 0.00 14.87

time (sec)

N/A 0.331 4.766 0.342 0.000 0.315 0.000 0.000 13.799

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 168 128 102 0 975 0 0 1787

N.S.

1 1.46 1.11 0.89 0.00 8.48 0.00 0.00 15.54

time (sec)

N/A 0.306 1.282 0.332 0.000 0.337 0.000 0.000 10.993

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 134 143 130 0 1305 0 0 2128

N.S.

1 0.96 1.03 0.94 0.00 9.39 0.00 0.00 15.31

time (sec)

N/A 0.379 1.329 0.581 0.000 0.347 0.000 0.000 12.306

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 140 165 168 0 2206 0 0 2178

N.S.

1 0.95 1.11 1.14 0.00 14.91 0.00 0.00 14.72

time (sec)

N/A 0.401 2.516 0.979 0.000 0.323 0.000 0.000 13.414

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 259 615 373 0 7664 0 0 0

N.S.

1 1.10 2.62 1.59 0.00 32.61 0.00 0.00 0.00

time (sec)

N/A 0.638 3.454 5.280 0.000 0.487 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 228 737 434 0 6266 0 0 0

N.S.

1 1.09 3.51 2.07 0.00 29.84 0.00 0.00 0.00

time (sec)

N/A 0.466 4.477 3.997 0.000 0.438 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 227 597 347 0 6250 0 0 0

N.S.

1 1.05 2.75 1.60 0.00 28.80 0.00 0.00 0.00

time (sec)

N/A 0.437 4.193 3.754 0.000 0.417 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 211 422 322 0 5238 0 0 0

N.S.

1 1.13 2.27 1.73 0.00 28.16 0.00 0.00 0.00

time (sec)

N/A 0.406 0.707 3.319 0.000 0.370 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 231 597 339 0 6018 0 0 0

N.S.

1 1.05 2.70 1.53 0.00 27.23 0.00 0.00 0.00

time (sec)

N/A 0.418 0.509 3.774 0.000 0.418 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 311 774 364 0 7793 0 0 0

N.S.

1 0.96 2.38 1.12 0.00 23.98 0.00 0.00 0.00

time (sec)

N/A 0.575 2.388 2.258 0.000 0.602 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 389 262 331 0 6944 0 0 0

N.S.

1 1.22 0.82 1.03 0.00 21.70 0.00 0.00 0.00

time (sec)

N/A 0.834 9.475 1.719 0.000 0.584 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 273 238 305 0 6045 0 0 0

N.S.

1 1.17 1.02 1.31 0.00 25.94 0.00 0.00 0.00

time (sec)

N/A 0.518 5.032 1.704 0.000 0.547 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 251 225 263 0 5658 0 0 0

N.S.

1 1.29 1.15 1.35 0.00 29.02 0.00 0.00 0.00

time (sec)

N/A 0.465 9.811 1.599 0.000 0.422 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 258 253 297 0 6525 0 0 0

N.S.

1 1.17 1.15 1.35 0.00 29.66 0.00 0.00 0.00

time (sec)

N/A 0.477 1.868 1.720 0.000 0.545 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 261 230 307 0 6522 0 0 0

N.S.

1 1.24 1.10 1.46 0.00 31.06 0.00 0.00 0.00

time (sec)

N/A 0.490 7.540 1.689 0.000 0.545 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 238 272 326 0 8824 0 0 0

N.S.

1 1.00 1.15 1.38 0.00 37.23 0.00 0.00 0.00

time (sec)

N/A 0.752 3.133 2.300 0.000 0.619 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

315 370 1021 652 0 21541 0 0 0

N.S.

1 1.17 3.24 2.07 0.00 68.38 0.00 0.00 0.00

time (sec)

N/A 0.697 7.416 11.617 0.000 0.770 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 305 802 585 0 20362 0 0 0

N.S.

1 1.05 2.77 2.02 0.00 70.21 0.00 0.00 0.00

time (sec)

N/A 0.551 6.572 11.954 0.000 0.635 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 360 1019 650 0 22506 0 0 0

N.S.

1 1.15 3.26 2.08 0.00 71.90 0.00 0.00 0.00

time (sec)

N/A 0.572 6.902 11.499 0.000 0.752 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

288 316 802 593 0 20961 0 0 0

N.S.

1 1.10 2.78 2.06 0.00 72.78 0.00 0.00 0.00

time (sec)

N/A 0.563 1.523 11.494 0.000 0.659 0.000 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 363 1018 641 0 22332 0 0 0

N.S.

1 1.16 3.25 2.05 0.00 71.35 0.00 0.00 0.00

time (sec)

N/A 0.569 1.445 11.103 0.000 0.759 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

617 591 1202 647 0 28586 0 0 0

N.S.

1 0.96 1.95 1.05 0.00 46.33 0.00 0.00 0.00

time (sec)

N/A 0.993 11.785 7.802 0.000 1.327 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

319 365 331 535 0 20486 0 0 0

N.S.

1 1.14 1.04 1.68 0.00 64.22 0.00 0.00 0.00

time (sec)

N/A 0.734 12.467 5.492 0.000 0.837 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

345 384 351 594 0 22729 0 0 0

N.S.

1 1.11 1.02 1.72 0.00 65.88 0.00 0.00 0.00

time (sec)

N/A 0.876 7.923 5.740 0.000 1.116 0.000 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

314 371 316 523 0 21932 0 0 0

N.S.

1 1.18 1.01 1.67 0.00 69.85 0.00 0.00 0.00

time (sec)

N/A 0.914 13.068 5.484 0.000 0.854 0.000 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

348 390 343 583 0 23355 0 0 0

N.S.

1 1.12 0.99 1.68 0.00 67.11 0.00 0.00 0.00

time (sec)

N/A 0.909 4.098 5.775 0.000 1.272 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 363 333 577 0 23125 0 0 0

N.S.

1 1.13 1.04 1.80 0.00 72.27 0.00 0.00 0.00

time (sec)

N/A 0.856 12.277 5.790 0.000 1.337 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

359 373 357 608 0 28429 0 0 0

N.S.

1 1.04 0.99 1.69 0.00 79.19 0.00 0.00 0.00

time (sec)

N/A 1.448 8.155 7.605 0.000 1.448 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 24 46 69 113 908 48 63

N.S.

1 1.00 0.96 1.84 2.76 4.52 36.32 1.92 2.52

time (sec)

N/A 0.186 0.304 0.322 0.295 0.283 2.415 0.274 0.158

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 196 45 36 0 133 0 281 205

N.S.

1 1.11 0.26 0.20 0.00 0.76 0.00 1.60 1.16

time (sec)

N/A 0.480 5.027 0.288 0.000 0.279 0.000 0.316 1.201

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

435 435 141 113 0 0 0 0 0

N.S.

1 1.00 0.32 0.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.153 5.055 0.775 0.000 0.000 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 175 134 128 0 16401 0 0 857

N.S.

1 1.00 0.77 0.73 0.00 93.72 0.00 0.00 4.90

time (sec)

N/A 0.581 5.044 0.667 0.000 1.198 0.000 0.000 62.866

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

245 257 160 162 0 661332 0 0 0

N.S.

1 1.05 0.65 0.66 0.00 2699.31 0.00 0.00 0.00

time (sec)

N/A 0.706 5.081 1.476 0.000 3.119 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 245 439 90 0 589 0 4946 0

N.S.

1 1.01 1.81 0.37 0.00 2.43 0.00 20.44 0.00

time (sec)

N/A 0.723 5.065 0.207 0.000 0.327 0.000 2.307 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 87 47 0 350 0 10 325

N.S.

1 1.00 1.23 0.66 0.00 4.93 0.00 0.14 4.58

time (sec)

N/A 0.491 5.126 1.215 0.000 0.281 0.000 0.277 5.393

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 127 64 0 737 0 1 0

N.S.

1 1.00 0.98 0.50 0.00 5.71 0.00 0.01 0.00

time (sec)

N/A 0.440 5.024 1.987 0.000 0.270 0.000 0.313 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 233 437 90 0 591 0 4948 0

N.S.

1 1.02 1.92 0.39 0.00 2.59 0.00 21.70 0.00

time (sec)

N/A 0.677 5.048 0.206 0.000 0.323 0.000 2.427 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 70 71 0 315 0 143 285

N.S.

1 1.00 0.84 0.86 0.00 3.80 0.00 1.72 3.43

time (sec)

N/A 0.349 5.061 1.180 0.000 0.268 0.000 0.298 3.171

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 64 81 0 347 0 48 273

N.S.

1 1.00 0.93 1.17 0.00 5.03 0.00 0.70 3.96

time (sec)

N/A 0.431 2.407 3.560 0.000 0.281 0.000 0.406 6.063

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 24 15 14 34 20 124 29 35

N.S.

1 1.33 0.83 0.78 1.89 1.11 6.89 1.61 1.94

time (sec)

N/A 0.258 0.006 70.218 0.212 0.247 2.114 0.260 2.668

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 18 18 26 25 12 153 28 25

N.S.

1 0.90 0.90 1.30 1.25 0.60 7.65 1.40 1.25

time (sec)

N/A 0.246 0.008 27.439 0.212 0.268 1.285 0.261 2.484

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 7 17 6 17 14 6

N.S.

1 1.00 1.00 1.17 2.83 1.00 2.83 2.33 1.00

time (sec)

N/A 0.232 0.006 9.727 0.213 0.250 0.735 0.262 2.208

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 5 6 5 5 2 5 5

N.S.

1 1.00 1.00 1.20 1.00 1.00 0.40 1.00 1.00

time (sec)

N/A 0.191 0.000 2.467 0.210 0.245 0.425 0.263 0.029

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 7 8 10 11 5 8 7

N.S.

1 1.00 1.00 1.14 1.43 1.57 0.71 1.14 1.00

time (sec)

N/A 0.226 0.003 2.432 0.300 0.254 0.083 0.261 0.083

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 20 20 40 40 151 0 52 54

N.S.

1 0.91 0.91 1.82 1.82 6.86 0.00 2.36 2.45

time (sec)

N/A 0.289 0.010 11.241 0.274 0.272 0.000 0.263 2.319

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 30 56 69 488 0 67 118

N.S.

1 1.00 0.86 1.60 1.97 13.94 0.00 1.91 3.37

time (sec)

N/A 0.358 0.006 80.834 0.281 0.274 0.000 0.253 2.479

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 106 63 95 152 117 250 121 76

N.S.

1 1.19 0.71 1.07 1.71 1.31 2.81 1.36 0.85

time (sec)

N/A 0.244 0.190 31.018 0.207 0.255 0.347 0.282 2.658

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 41 48 38 136 82 85 108 48

N.S.

1 0.89 1.04 0.83 2.96 1.78 1.85 2.35 1.04

time (sec)

N/A 0.231 0.119 12.558 0.215 0.257 0.216 0.274 2.390

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 77 43 70 76 59 150 71 38

N.S.

1 1.26 0.70 1.15 1.25 0.97 2.46 1.16 0.62

time (sec)

N/A 0.232 0.077 4.748 0.215 0.246 0.172 0.273 0.102

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 26 39 25 26 41 36 70 25

N.S.

1 0.93 1.39 0.89 0.93 1.46 1.29 2.50 0.89

time (sec)

N/A 0.213 0.023 1.634 0.206 0.263 0.102 0.258 0.092

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 26 37 34 56 101 0 40 88

N.S.

1 0.93 1.32 1.21 2.00 3.61 0.00 1.43 3.14

time (sec)

N/A 0.210 0.013 1.486 0.292 0.262 0.000 0.266 2.181

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 26 36 29 47 41 0 32 27

N.S.

1 1.37 1.89 1.53 2.47 2.16 0.00 1.68 1.42

time (sec)

N/A 0.216 0.013 0.543 0.215 0.252 0.000 0.271 0.090

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 46 71 70 136 324 0 105 127

N.S.

1 1.10 1.69 1.67 3.24 7.71 0.00 2.50 3.02

time (sec)

N/A 0.221 0.019 3.578 0.269 0.260 0.000 0.279 1.600

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 30 44 48 185 159 0 47 47

N.S.

1 0.94 1.38 1.50 5.78 4.97 0.00 1.47 1.47

time (sec)

N/A 0.224 0.008 8.532 0.194 0.246 0.000 0.272 1.593

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 75 115 99 228 1046 0 153 280

N.S.

1 1.07 1.64 1.41 3.26 14.94 0.00 2.19 4.00

time (sec)

N/A 0.230 0.024 17.941 0.303 0.277 0.000 0.278 1.632

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 49 102 84 486 343 0 83 298

N.S.

1 0.91 1.89 1.56 9.00 6.35 0.00 1.54 5.52

time (sec)

N/A 0.248 0.242 37.943 0.220 0.251 0.000 0.273 1.587

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 168 98 172 225 212 481 191 121

N.S.

1 1.06 0.62 1.08 1.42 1.33 3.03 1.20 0.76

time (sec)

N/A 0.321 1.769 0.106 0.223 0.251 0.695 0.300 0.372

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 66 64 65 242 188 136 196 80

N.S.

1 0.89 0.86 0.88 3.27 2.54 1.84 2.65 1.08

time (sec)

N/A 0.267 0.096 227.569 0.195 0.286 0.461 0.286 0.220

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 137 79 134 171 143 314 149 95

N.S.

1 1.15 0.66 1.13 1.44 1.20 2.64 1.25 0.80

time (sec)

N/A 0.327 1.606 95.400 0.197 0.263 0.371 0.282 0.225

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 44 44 41 45 106 58 134 42

N.S.

1 0.90 0.90 0.84 0.92 2.16 1.18 2.73 0.86

time (sec)

N/A 0.232 0.049 39.982 0.207 0.254 0.210 0.267 0.107

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 50 70 70 133 446 0 102 182

N.S.

1 0.91 1.27 1.27 2.42 8.11 0.00 1.85 3.31

time (sec)

N/A 0.257 0.081 40.713 0.270 0.293 0.000 0.280 0.198

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 65 50 71 119 97 0 131 75

N.S.

1 1.23 0.94 1.34 2.25 1.83 0.00 2.47 1.42

time (sec)

N/A 0.289 0.687 47.204 0.192 0.258 0.000 0.294 1.654

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

64 65 233 135 234 759 0 163 220

N.S.

1 1.02 3.64 2.11 3.66 11.86 0.00 2.55 3.44

time (sec)

N/A 0.272 2.658 37.890 0.283 0.272 0.000 0.301 1.659

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 51 95 92 267 200 0 98 194

N.S.

1 1.09 2.02 1.96 5.68 4.26 0.00 2.09 4.13

time (sec)

N/A 0.263 0.095 28.291 0.208 0.255 0.000 0.297 1.600